Common Knowledge of Abstract Groups

Epistemic logics typically talk about knowledge of individual agents or groups explicitly listed agents. Often, however, one wishes to express specified by a given property, as in ‘it is common among economists’. We introduce such logic knowledge, which we term abstract-group epistemic (AGEL). That is, AGEL features operator for concepts separate agent that keep generic, with possible being ALC. show EXPTIME-complete, the lower bound established reduction from standard group logic, and upper satisfiability-preserving embedding into full µ-calculus. Further main results include finite model property (not enjoyed µ-calculus) complete axiomatization.